退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种逻辑编程方法,用于验证功能逻辑程序
Jose ́ Miguel Cleva; Javier Leach; Francisco J; Facultad De Informática;
机译:模糊逻辑与功能逻辑资源相结合的混合编程方案
机译:功能逻辑编程中的构造性失败:从理论到实现
机译:功能逻辑程序的转换规则和策略
机译:验证功能逻辑程序的逻辑编程方法
机译:功能逻辑编程语言的抽象操作模型。
机译:约束逻辑程序设计方法用于蛋白质结构预测
机译:高阶功能逻辑程序的完全抽象问题
机译:用于对具有验证逻辑的可编程逻辑器件进行编程的方法和装置,该验证逻辑用于将从存储器位置读取的验证数据与程序数据进行比较
机译:逻辑验证支持程序,记录该程序的记录介质,逻辑验证支持装置以及逻辑验证支持方法
机译:逻辑验证支持程序,使用记录的程序记录介质,逻辑验证支持设备和逻辑验证支持方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。